    <div id = "loggedin">
		<?php
		   echo "<h1>",$_SESSION['NAME'],"</h1>";
		   echo "<a id='logout_box' href='logout.php'>Logout</a>";
		?>
      </div>